Optimal. Leaf size=149 \[ -\frac {1}{16} b d^3 n x^4-\frac {3 b d e^2 n x^{2 (2+r)}}{4 (2+r)^2}-\frac {3 b d^2 e n x^{4+r}}{(4+r)^2}-\frac {b e^3 n x^{4+3 r}}{(4+3 r)^2}+\frac {1}{4} \left (d^3 x^4+\frac {6 d e^2 x^{2 (2+r)}}{2+r}+\frac {12 d^2 e x^{4+r}}{4+r}+\frac {4 e^3 x^{4+3 r}}{4+3 r}\right ) \left (a+b \log \left (c x^n\right )\right ) \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.26, antiderivative size = 149, normalized size of antiderivative = 1.00, number of steps
used = 4, number of rules used = 4, integrand size = 23, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.174, Rules used = {276, 2371, 12,
14} \begin {gather*} \frac {1}{4} \left (d^3 x^4+\frac {12 d^2 e x^{r+4}}{r+4}+\frac {6 d e^2 x^{2 (r+2)}}{r+2}+\frac {4 e^3 x^{3 r+4}}{3 r+4}\right ) \left (a+b \log \left (c x^n\right )\right )-\frac {1}{16} b d^3 n x^4-\frac {3 b d^2 e n x^{r+4}}{(r+4)^2}-\frac {3 b d e^2 n x^{2 (r+2)}}{4 (r+2)^2}-\frac {b e^3 n x^{3 r+4}}{(3 r+4)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 14
Rule 276
Rule 2371
Rubi steps
\begin {align*} \int x^3 \left (d+e x^r\right )^3 \left (a+b \log \left (c x^n\right )\right ) \, dx &=\frac {1}{4} \left (d^3 x^4+\frac {6 d e^2 x^{2 (2+r)}}{2+r}+\frac {12 d^2 e x^{4+r}}{4+r}+\frac {4 e^3 x^{4+3 r}}{4+3 r}\right ) \left (a+b \log \left (c x^n\right )\right )-(b n) \int \frac {1}{4} x^3 \left (d^3+\frac {12 d^2 e x^r}{4+r}+\frac {6 d e^2 x^{2 r}}{2+r}+\frac {4 e^3 x^{3 r}}{4+3 r}\right ) \, dx\\ &=\frac {1}{4} \left (d^3 x^4+\frac {6 d e^2 x^{2 (2+r)}}{2+r}+\frac {12 d^2 e x^{4+r}}{4+r}+\frac {4 e^3 x^{4+3 r}}{4+3 r}\right ) \left (a+b \log \left (c x^n\right )\right )-\frac {1}{4} (b n) \int x^3 \left (d^3+\frac {12 d^2 e x^r}{4+r}+\frac {6 d e^2 x^{2 r}}{2+r}+\frac {4 e^3 x^{3 r}}{4+3 r}\right ) \, dx\\ &=\frac {1}{4} \left (d^3 x^4+\frac {6 d e^2 x^{2 (2+r)}}{2+r}+\frac {12 d^2 e x^{4+r}}{4+r}+\frac {4 e^3 x^{4+3 r}}{4+3 r}\right ) \left (a+b \log \left (c x^n\right )\right )-\frac {1}{4} (b n) \int \left (d^3 x^3+\frac {4 e^3 x^{3 (1+r)}}{4+3 r}+\frac {12 d^2 e x^{3+r}}{4+r}+\frac {6 d e^2 x^{3+2 r}}{2+r}\right ) \, dx\\ &=-\frac {1}{16} b d^3 n x^4-\frac {3 b d e^2 n x^{2 (2+r)}}{4 (2+r)^2}-\frac {3 b d^2 e n x^{4+r}}{(4+r)^2}-\frac {b e^3 n x^{4+3 r}}{(4+3 r)^2}+\frac {1}{4} \left (d^3 x^4+\frac {6 d e^2 x^{2 (2+r)}}{2+r}+\frac {12 d^2 e x^{4+r}}{4+r}+\frac {4 e^3 x^{4+3 r}}{4+3 r}\right ) \left (a+b \log \left (c x^n\right )\right )\\ \end {align*}
________________________________________________________________________________________
Mathematica [A]
time = 0.16, size = 160, normalized size = 1.07 \begin {gather*} \frac {1}{16} x^4 \left (4 b d^3 n \log (x)+d^3 \left (4 a-b n-4 b n \log (x)+4 b \log \left (c x^n\right )\right )+\frac {12 d e^2 x^{2 r} \left (-b n+2 a (2+r)+2 b (2+r) \log \left (c x^n\right )\right )}{(2+r)^2}+\frac {48 d^2 e x^r \left (-b n+a (4+r)+b (4+r) \log \left (c x^n\right )\right )}{(4+r)^2}+\frac {16 e^3 x^{3 r} \left (-b n+a (4+3 r)+b (4+3 r) \log \left (c x^n\right )\right )}{(4+3 r)^2}\right ) \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [C] Result contains higher order function than in optimal. Order 9 vs. order
3.
time = 0.27, size = 4027, normalized size = 27.03
method | result | size |
risch | \(\text {Expression too large to display}\) | \(4027\) |
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [A]
time = 0.29, size = 222, normalized size = 1.49 \begin {gather*} -\frac {1}{16} \, b d^{3} n x^{4} + \frac {1}{4} \, b d^{3} x^{4} \log \left (c x^{n}\right ) + \frac {1}{4} \, a d^{3} x^{4} + \frac {b e^{3} x^{3 \, r + 4} \log \left (c x^{n}\right )}{3 \, r + 4} + \frac {3 \, b d e^{2} x^{2 \, r + 4} \log \left (c x^{n}\right )}{2 \, {\left (r + 2\right )}} + \frac {3 \, b d^{2} e x^{r + 4} \log \left (c x^{n}\right )}{r + 4} - \frac {b e^{3} n x^{3 \, r + 4}}{{\left (3 \, r + 4\right )}^{2}} + \frac {a e^{3} x^{3 \, r + 4}}{3 \, r + 4} - \frac {3 \, b d e^{2} n x^{2 \, r + 4}}{4 \, {\left (r + 2\right )}^{2}} + \frac {3 \, a d e^{2} x^{2 \, r + 4}}{2 \, {\left (r + 2\right )}} - \frac {3 \, b d^{2} e n x^{r + 4}}{{\left (r + 4\right )}^{2}} + \frac {3 \, a d^{2} e x^{r + 4}}{r + 4} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 879 vs.
\(2 (141) = 282\).
time = 0.36, size = 879, normalized size = 5.90 \begin {gather*} \frac {4 \, {\left (9 \, b d^{3} r^{6} + 132 \, b d^{3} r^{5} + 772 \, b d^{3} r^{4} + 2304 \, b d^{3} r^{3} + 3712 \, b d^{3} r^{2} + 3072 \, b d^{3} r + 1024 \, b d^{3}\right )} x^{4} \log \left (c\right ) + 4 \, {\left (9 \, b d^{3} n r^{6} + 132 \, b d^{3} n r^{5} + 772 \, b d^{3} n r^{4} + 2304 \, b d^{3} n r^{3} + 3712 \, b d^{3} n r^{2} + 3072 \, b d^{3} n r + 1024 \, b d^{3} n\right )} x^{4} \log \left (x\right ) - {\left (9 \, {\left (b d^{3} n - 4 \, a d^{3}\right )} r^{6} + 132 \, {\left (b d^{3} n - 4 \, a d^{3}\right )} r^{5} + 1024 \, b d^{3} n + 772 \, {\left (b d^{3} n - 4 \, a d^{3}\right )} r^{4} - 4096 \, a d^{3} + 2304 \, {\left (b d^{3} n - 4 \, a d^{3}\right )} r^{3} + 3712 \, {\left (b d^{3} n - 4 \, a d^{3}\right )} r^{2} + 3072 \, {\left (b d^{3} n - 4 \, a d^{3}\right )} r\right )} x^{4} + 16 \, {\left ({\left (3 \, b r^{5} + 40 \, b r^{4} + 204 \, b r^{3} + 496 \, b r^{2} + 576 \, b r + 256 \, b\right )} x^{4} e^{3} \log \left (c\right ) + {\left (3 \, b n r^{5} + 40 \, b n r^{4} + 204 \, b n r^{3} + 496 \, b n r^{2} + 576 \, b n r + 256 \, b n\right )} x^{4} e^{3} \log \left (x\right ) + {\left (3 \, a r^{5} - {\left (b n - 40 \, a\right )} r^{4} - 12 \, {\left (b n - 17 \, a\right )} r^{3} - 4 \, {\left (13 \, b n - 124 \, a\right )} r^{2} - 64 \, b n - 96 \, {\left (b n - 6 \, a\right )} r + 256 \, a\right )} x^{4} e^{3}\right )} x^{3 \, r} + 12 \, {\left (2 \, {\left (9 \, b d r^{5} + 114 \, b d r^{4} + 544 \, b d r^{3} + 1216 \, b d r^{2} + 1280 \, b d r + 512 \, b d\right )} x^{4} e^{2} \log \left (c\right ) + 2 \, {\left (9 \, b d n r^{5} + 114 \, b d n r^{4} + 544 \, b d n r^{3} + 1216 \, b d n r^{2} + 1280 \, b d n r + 512 \, b d n\right )} x^{4} e^{2} \log \left (x\right ) + {\left (18 \, a d r^{5} - 3 \, {\left (3 \, b d n - 76 \, a d\right )} r^{4} - 32 \, {\left (3 \, b d n - 34 \, a d\right )} r^{3} - 256 \, b d n - 32 \, {\left (11 \, b d n - 76 \, a d\right )} r^{2} + 1024 \, a d - 512 \, {\left (b d n - 5 \, a d\right )} r\right )} x^{4} e^{2}\right )} x^{2 \, r} + 48 \, {\left ({\left (9 \, b d^{2} r^{5} + 96 \, b d^{2} r^{4} + 388 \, b d^{2} r^{3} + 752 \, b d^{2} r^{2} + 704 \, b d^{2} r + 256 \, b d^{2}\right )} x^{4} e \log \left (c\right ) + {\left (9 \, b d^{2} n r^{5} + 96 \, b d^{2} n r^{4} + 388 \, b d^{2} n r^{3} + 752 \, b d^{2} n r^{2} + 704 \, b d^{2} n r + 256 \, b d^{2} n\right )} x^{4} e \log \left (x\right ) + {\left (9 \, a d^{2} r^{5} - 3 \, {\left (3 \, b d^{2} n - 32 \, a d^{2}\right )} r^{4} - 64 \, b d^{2} n - 4 \, {\left (15 \, b d^{2} n - 97 \, a d^{2}\right )} r^{3} + 256 \, a d^{2} - 4 \, {\left (37 \, b d^{2} n - 188 \, a d^{2}\right )} r^{2} - 32 \, {\left (5 \, b d^{2} n - 22 \, a d^{2}\right )} r\right )} x^{4} e\right )} x^{r}}{16 \, {\left (9 \, r^{6} + 132 \, r^{5} + 772 \, r^{4} + 2304 \, r^{3} + 3712 \, r^{2} + 3072 \, r + 1024\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [B] Leaf count of result is larger than twice the leaf count of optimal. 1588 vs.
\(2 (141) = 282\).
time = 2.48, size = 1588, normalized size = 10.66 \begin {gather*} \frac {36 \, b d^{3} n r^{6} x^{4} \log \left (x\right ) + 432 \, b d^{2} n r^{5} x^{4} x^{r} e \log \left (x\right ) - 9 \, b d^{3} n r^{6} x^{4} + 36 \, b d^{3} r^{6} x^{4} \log \left (c\right ) + 432 \, b d^{2} r^{5} x^{4} x^{r} e \log \left (c\right ) + 528 \, b d^{3} n r^{5} x^{4} \log \left (x\right ) + 216 \, b d n r^{5} x^{4} x^{2 \, r} e^{2} \log \left (x\right ) + 4608 \, b d^{2} n r^{4} x^{4} x^{r} e \log \left (x\right ) - 132 \, b d^{3} n r^{5} x^{4} + 36 \, a d^{3} r^{6} x^{4} - 432 \, b d^{2} n r^{4} x^{4} x^{r} e + 432 \, a d^{2} r^{5} x^{4} x^{r} e + 528 \, b d^{3} r^{5} x^{4} \log \left (c\right ) + 216 \, b d r^{5} x^{4} x^{2 \, r} e^{2} \log \left (c\right ) + 4608 \, b d^{2} r^{4} x^{4} x^{r} e \log \left (c\right ) + 3088 \, b d^{3} n r^{4} x^{4} \log \left (x\right ) + 48 \, b n r^{5} x^{4} x^{3 \, r} e^{3} \log \left (x\right ) + 2736 \, b d n r^{4} x^{4} x^{2 \, r} e^{2} \log \left (x\right ) + 18624 \, b d^{2} n r^{3} x^{4} x^{r} e \log \left (x\right ) - 772 \, b d^{3} n r^{4} x^{4} + 528 \, a d^{3} r^{5} x^{4} - 108 \, b d n r^{4} x^{4} x^{2 \, r} e^{2} + 216 \, a d r^{5} x^{4} x^{2 \, r} e^{2} - 2880 \, b d^{2} n r^{3} x^{4} x^{r} e + 4608 \, a d^{2} r^{4} x^{4} x^{r} e + 3088 \, b d^{3} r^{4} x^{4} \log \left (c\right ) + 48 \, b r^{5} x^{4} x^{3 \, r} e^{3} \log \left (c\right ) + 2736 \, b d r^{4} x^{4} x^{2 \, r} e^{2} \log \left (c\right ) + 18624 \, b d^{2} r^{3} x^{4} x^{r} e \log \left (c\right ) + 9216 \, b d^{3} n r^{3} x^{4} \log \left (x\right ) + 640 \, b n r^{4} x^{4} x^{3 \, r} e^{3} \log \left (x\right ) + 13056 \, b d n r^{3} x^{4} x^{2 \, r} e^{2} \log \left (x\right ) + 36096 \, b d^{2} n r^{2} x^{4} x^{r} e \log \left (x\right ) - 2304 \, b d^{3} n r^{3} x^{4} + 3088 \, a d^{3} r^{4} x^{4} - 16 \, b n r^{4} x^{4} x^{3 \, r} e^{3} + 48 \, a r^{5} x^{4} x^{3 \, r} e^{3} - 1152 \, b d n r^{3} x^{4} x^{2 \, r} e^{2} + 2736 \, a d r^{4} x^{4} x^{2 \, r} e^{2} - 7104 \, b d^{2} n r^{2} x^{4} x^{r} e + 18624 \, a d^{2} r^{3} x^{4} x^{r} e + 9216 \, b d^{3} r^{3} x^{4} \log \left (c\right ) + 640 \, b r^{4} x^{4} x^{3 \, r} e^{3} \log \left (c\right ) + 13056 \, b d r^{3} x^{4} x^{2 \, r} e^{2} \log \left (c\right ) + 36096 \, b d^{2} r^{2} x^{4} x^{r} e \log \left (c\right ) + 14848 \, b d^{3} n r^{2} x^{4} \log \left (x\right ) + 3264 \, b n r^{3} x^{4} x^{3 \, r} e^{3} \log \left (x\right ) + 29184 \, b d n r^{2} x^{4} x^{2 \, r} e^{2} \log \left (x\right ) + 33792 \, b d^{2} n r x^{4} x^{r} e \log \left (x\right ) - 3712 \, b d^{3} n r^{2} x^{4} + 9216 \, a d^{3} r^{3} x^{4} - 192 \, b n r^{3} x^{4} x^{3 \, r} e^{3} + 640 \, a r^{4} x^{4} x^{3 \, r} e^{3} - 4224 \, b d n r^{2} x^{4} x^{2 \, r} e^{2} + 13056 \, a d r^{3} x^{4} x^{2 \, r} e^{2} - 7680 \, b d^{2} n r x^{4} x^{r} e + 36096 \, a d^{2} r^{2} x^{4} x^{r} e + 14848 \, b d^{3} r^{2} x^{4} \log \left (c\right ) + 3264 \, b r^{3} x^{4} x^{3 \, r} e^{3} \log \left (c\right ) + 29184 \, b d r^{2} x^{4} x^{2 \, r} e^{2} \log \left (c\right ) + 33792 \, b d^{2} r x^{4} x^{r} e \log \left (c\right ) + 12288 \, b d^{3} n r x^{4} \log \left (x\right ) + 7936 \, b n r^{2} x^{4} x^{3 \, r} e^{3} \log \left (x\right ) + 30720 \, b d n r x^{4} x^{2 \, r} e^{2} \log \left (x\right ) + 12288 \, b d^{2} n x^{4} x^{r} e \log \left (x\right ) - 3072 \, b d^{3} n r x^{4} + 14848 \, a d^{3} r^{2} x^{4} - 832 \, b n r^{2} x^{4} x^{3 \, r} e^{3} + 3264 \, a r^{3} x^{4} x^{3 \, r} e^{3} - 6144 \, b d n r x^{4} x^{2 \, r} e^{2} + 29184 \, a d r^{2} x^{4} x^{2 \, r} e^{2} - 3072 \, b d^{2} n x^{4} x^{r} e + 33792 \, a d^{2} r x^{4} x^{r} e + 12288 \, b d^{3} r x^{4} \log \left (c\right ) + 7936 \, b r^{2} x^{4} x^{3 \, r} e^{3} \log \left (c\right ) + 30720 \, b d r x^{4} x^{2 \, r} e^{2} \log \left (c\right ) + 12288 \, b d^{2} x^{4} x^{r} e \log \left (c\right ) + 4096 \, b d^{3} n x^{4} \log \left (x\right ) + 9216 \, b n r x^{4} x^{3 \, r} e^{3} \log \left (x\right ) + 12288 \, b d n x^{4} x^{2 \, r} e^{2} \log \left (x\right ) - 1024 \, b d^{3} n x^{4} + 12288 \, a d^{3} r x^{4} - 1536 \, b n r x^{4} x^{3 \, r} e^{3} + 7936 \, a r^{2} x^{4} x^{3 \, r} e^{3} - 3072 \, b d n x^{4} x^{2 \, r} e^{2} + 30720 \, a d r x^{4} x^{2 \, r} e^{2} + 12288 \, a d^{2} x^{4} x^{r} e + 4096 \, b d^{3} x^{4} \log \left (c\right ) + 9216 \, b r x^{4} x^{3 \, r} e^{3} \log \left (c\right ) + 12288 \, b d x^{4} x^{2 \, r} e^{2} \log \left (c\right ) + 4096 \, b n x^{4} x^{3 \, r} e^{3} \log \left (x\right ) + 4096 \, a d^{3} x^{4} - 1024 \, b n x^{4} x^{3 \, r} e^{3} + 9216 \, a r x^{4} x^{3 \, r} e^{3} + 12288 \, a d x^{4} x^{2 \, r} e^{2} + 4096 \, b x^{4} x^{3 \, r} e^{3} \log \left (c\right ) + 4096 \, a x^{4} x^{3 \, r} e^{3}}{16 \, {\left (9 \, r^{6} + 132 \, r^{5} + 772 \, r^{4} + 2304 \, r^{3} + 3712 \, r^{2} + 3072 \, r + 1024\right )}} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.01 \begin {gather*} \int x^3\,{\left (d+e\,x^r\right )}^3\,\left (a+b\,\ln \left (c\,x^n\right )\right ) \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________